Game semantics

Results: 71



#Item
31Question / Scalar / Trick-taking game / Interrogative word / Mathematics / Social psychology / Grammar / Data collection / Human communication

Two types of wh-exclamatives1 Rick Nouwen & Anna Chernilovskaya Abstract – We study a particular aspect of the semantics  of matrix wh-exclamatives. In particular, we focus on the relation between fairly straightfor

Add to Reading List

Source URL: ricknouwen.org

Language: English - Date: 2015-03-19 10:31:16
32Natural language processing / Computational linguistics / Semantics / Sentiment analysis / Tob / Tetris / Word-sense disambiguation / ESP game / Usability / Digital media / Electronic games / Application software

Tower of Babel: A Crowdsourcing Game Building Sentiment Lexicons for Resource-scarce Languages Yoonsung Hong† , Haewoon Kwak‡ , Youngmin Baek∗, Sue Moon† † Division of Web Science and Technology, KAIST, Daejon

Add to Reading List

Source URL: an.kaist.ac.kr

Language: English - Date: 2013-04-08 00:00:29
33Science / Philosophical logic / Mathematical logic / Game semantics / Game theory / Quantification / Categorical logic / Logic / Mathematics / Logic in computer science

Annual Conference of the European Association for Computer Science Logic CSL 2011 September 12–15, 2011, Bergen, Norway FIRST CALL FOR PAPERS Program Committee

Add to Reading List

Source URL: eacsl.kahle.ch

Language: English - Date: 2011-01-06 05:41:49
34Philosophical logic / Logic in computer science / Game semantics / Game theory / Quantification / Temporal logic / First-order logic / Logic / Mathematical logic / Mathematics

The Ackermann Award 2013 Anuj Dawar, Thomas A. Henzinger, and Damian Niwiński Members of EACSL Jury of the Ackermann Award The ninth Ackermann Award is presented at CSL’13, held in Turin, Italy. This year, as in the p

Add to Reading List

Source URL: drops.dagstuhl.de

Language: English - Date: 2013-08-27 05:13:12
35Fixed points / Problem solving / Cooperative principle / Principles / Nash equilibrium / Signaling game / Linguistics / Play / Implicature / Game theory / Pragmatics / Decision theory

Game theory in semantics and pragmatics Gerhard J¨ager University of Bielefeld Faculty of Linguistics and Literature PF[removed], 33615 Bielefeld, Germany phone: +[removed], fax: +[removed]

Add to Reading List

Source URL: ibe.eller.arizona.edu

Language: English - Date: 2009-03-19 15:00:45
36Semantics / Breastplate / Museum / Ethology / Linguistics / Science / Museology / Analogy / Cognitive science

a game of resemblance for educators museums

Add to Reading List

Source URL: sembl.net

Language: English - Date: 2014-08-25 07:17:56
37Modal logic / Philosophical logic / Non-classical logic / Hybrid logic / Algebraic semantics / F-coalgebra / Abstract model theory / Model theory / Game semantics / Logic / Mathematics / Mathematical logic

LNCSThe Ackermann Award 2006

Add to Reading List

Source URL: eacsl.kahle.ch

Language: English - Date: 2013-12-08 17:58:22
38Modal logic / Model theory / Branches of philosophy / Philosophical logic / Game theory / Epistemic modal logic / Kripke semantics / Interpretation / Social software / Logic / Mathematical logic / Mathematics

Introduction to Formal Epistemology May[removed], ESSLLI 2007 Eric Pacuit Rohit Parikh

Add to Reading List

Source URL: ai.stanford.edu

Language: English - Date: 2010-04-22 20:59:38
39Models of computation / Logic in computer science / Lambda calculus / Tree traversal / Combinatory logic / Free variables and bound variables / Computation tree / Theoretical computer science / Mathematics / Applied mathematics

A Concrete Presentation of Game Semantics W. Blum∗ C.-H. L. Ong† Abstract

Add to Reading List

Source URL: www.cs.ox.ac.uk

Language: English - Date: 2012-01-14 04:37:24
40Logic / Game semantics / Denotational semantics / Formal verification / Programming language / International Colloquium on Automata /  Languages and Programming / Formal methods / Mathematical logic / Model checking / Theoretical computer science / Logic in computer science / Applied mathematics

Algorithmic Game Semantics and its Applications: Final Report S. Abramsky C.-H. L. Ong 31 January 2006

Add to Reading List

Source URL: www.cs.ox.ac.uk

Language: English - Date: 2012-01-14 04:37:24
UPDATE